Topos (pl. Topoi, griech. Ort) ist ein Begriff der Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich
- als Elementartopos, der eine verallgemeinerte Kategorie aller Mengen ist, mit dem Ziel einer nicht-mengentheoretischen Grundlegung der Mathematik.
- als Grothendieck-Topos, der ein verallgemeinerter topologischer Raum ist und Anwendungen in der algebraischen Geometrie findet.